国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文OA文獻(xiàn) >Logics for contravariant simulations
【2h】

Logics for contravariant simulations

機(jī)譯：逆向仿真的邏輯

代理獲取
本網(wǎng)站僅為用戶提供外文OA文獻(xiàn)查詢和代理獲取服務(wù)，本網(wǎng)站沒有原文。下單后我們將采用程序或人工為您竭誠獲取高質(zhì)量的原文，但由于OA文獻(xiàn)來源多樣且變更頻繁，仍可能出現(xiàn)獲取不到、文獻(xiàn)不完整或與標(biāo)題不符等情況，如果獲取不到我們將提供退款服務(wù)。請(qǐng)知悉。
  • 摘要
  • 著錄項(xiàng)
  • 相似文獻(xiàn)
  • 相關(guān)主題

摘要

Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not always the case that “the larger the number of behaviors, the better”. Therefore, they can be considered to be more adequate to express the fact that a system is a correct implementation of some specification. We have previously shown that these two more elaborated notions fit well within the categorical framework developed to study the notion of simulation in a generic way. Now we show that their behaviors have also simple and natural logical characterizations, though more elaborated than those for the plain simulation semantics.
機(jī)譯：協(xié)變量-相反變量模擬和一致性模擬是簡(jiǎn)單模擬概念的兩個(gè)概括，其目的在于捕捉一個(gè)事實(shí)，即“行為數(shù)量越多越好”并不總是這樣。因此，可以認(rèn)為它們更足以表達(dá)系統(tǒng)是某些規(guī)范的正確實(shí)現(xiàn)的事實(shí)。先前我們已經(jīng)證明，這兩個(gè)詳細(xì)闡述的概念非常適合開發(fā)用于以通用方式研究模擬概念的分類框架?，F(xiàn)在我們展示它們的行為也具有簡(jiǎn)單自然的邏輯特征，盡管比普通的模擬語義更詳細(xì)。

著錄項(xiàng)

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號(hào) ICP備案號(hào)：京ICP備15016152號(hào)-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號(hào)